Graph Transformation Planning via Abstraction
نویسنده
چکیده
Modern software systems increasingly incorporate self-* behavior to adapt to changes in the environment at runtime. Such adaptations often involve reconfiguring the software architecture of the system. Many systems also need to manage their architecture themselves, i.e., they need a planning component to autonomously decide which reconfigurations to execute to reach a desired target configuration. For the specification of reconfigurations, we employ graph transformations systems (GTS) due to the close relation of graphs and UML object diagrams. We solve the resulting planning problems with a planning system that works directly on a GTS. It features a domain-independent heuristic that uses the solution length of an abstraction of the original problem as an estimate. Finally, we provide experimental results on two different domains, which confirm that our heuristic performs better than another domain-independent heuristic which resembles heuristics employed in related work.
منابع مشابه
Abstract Diagrams and an Opfibration Account of Typed Graph Transformation
Diagrams and an Opfibration Account of Typed Graph Transformation R. Banach Computer Science Dept., Manchester University, Manchester, M13 9PL, U.K. [email protected] A. Corradini Dipartimento di Informatica, Università di Pisa, Corso Italia 40, Pisa, Italy. [email protected] Abstract: The “in the large” properties of typed graph transformation systems in the double pushout framework and a d...
متن کاملAmalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System
ion levels. The formal de nition of this concept which can be found in e.g. [Bey92] regards graphs as a set of objects with three partial functions: the source, target, and abstraction function. They are totalized by including a special object ?. A node is an object for which both the source and target function are unde ned. There are a few rather obvious consistency conditions that are enforce...
متن کاملTowards Integrated Planning and Scheduling: Resource Abstraction in the Planning Graph
We outline a approach for closely integrating classical automated planning with scheduling in a manner designed to maximize the opportunity for leveraging the strengths of each. A fundamental capability needed to implement the system is an efficient resource-lifted planning graph, and we introduce the process for achieving it here. We report experimental evidence that the resource-abstracted mo...
متن کاملFrom Graph Transformation to Rule-Based Programming with Diagrams
Graph transformation is a well studied computational model for speciication and programming. In this paper we outline a path that can be taken in order to turn graph transformation into a rule-based language for programming with diagrams. In particular, we discuss how data abstraction and functional abstraction can be achieved in the setting of graphs, by minimal extensions of the underlying gr...
متن کاملAbstraction and abstraction refinement in the verification of graph transformation systems
ion and Abstraction Refinement in the Verification of Graph Transformation Systems Vom Fachbereich Ingenieurwissenschaften Abteilung Informatik und angewandte Kognitionswissenschaft der Unversität Duisburg-Essen zur Erlangung des akademischen Grades eines Doktor der Naturwissenschaften (Dr.-rer. nat.) genehmigte Dissertation
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014